#lean 4

DeepSeek Unveils DeepSeek-Prover-V2: Advancing Neural Theorem Proving with Recursive Proof Search and a New Benchmark

Learn to set up and experiment with DeepSeek-Prover-V2, an open-source LLM for Lean 4 theorem proving that uses recursive proof search and reinforcement learning.